Nilpotent Minimum Fuzzy Description Logics
نویسندگان
چکیده
We define the fuzzy description logic ALCHNM based on the t-norm of Nilpotent Minimum and we prove its reduction to the crisp description logic ALCH. Hence we prove decidability results for ALCHNM.
منابع مشابه
On expansions of WNM t-norm based logics with truth-constants
This paper focuses on completeness results about generic expansions of propositional Weak Nilpotent Minimum (WNM) logics with truth-constants. Indeed, we consider algebraic semantics for expansions of these logics with a set of truth-constants {r | r ∈ C}, for a suitable countable C ⊆ [0, 1], and provide a full description of completeness results when (i) the t-norm is a Weak Nilpotent Minimum ...
متن کاملOn Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics
In this paper we study generic expansions of predicate logics of some left-continuous t-norms (mainly Gödel and Nilpotent Minimum predicate logics) with a countable set of truth-constants. Using known results on tnorm based predicate fuzzy logics we obtain results on the conservativeness and completeness for the expansions of some predicate fuzzy logics. We describe the problem for the cases of...
متن کاملOn Rational Weak Nilpotent Minimum Logics
In this paper we investigate extensions of Gödel and Nilpotent Minimum logics by adding rational truth-values as truth constants in the language and by adding corresponding book-keeping axioms for the truth-constants. We also investigate the rational extensions of some parametric families of Weak Nilpotent Minimum logics, weaker than both Gödel and Nilpotent Minimum logics. Weak and strong stan...
متن کاملFuzzy-set based logics - an history-oriented presentation of their main developments
fuzzy logic, 67algebraic semantics, 53approximate reasoning, 6axiomatic extensions of MTL, 56 Bellman, R., 21bipolar possibilistic logic, 93BL logic, 51 canonical chain, 66canonical completeness, 66canonical extension, 83Carnap, R., 3comparative truth, 63compositionality, 29computational complexity, 73core fuzzy logic, 58 De Finetti B., 3degre...
متن کاملResiduated fuzzy logics with an involutive negation
Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant 0, namely ¬φ isφ → 0. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which i...
متن کامل